An Algebra of Graph Derivations Using Finite (co-) Limit Double Theories
نویسندگان
چکیده
Graph transformation systems have been introduced for the formal specification of software systems. States are thereby modeled as graphs, and computations as graph derivations according to the rules of the specification. Operations on graph derivations provide means to reason about the distribution and composition of computations. In this paper we discuss the development of an algebra of graph derivations as a descriptive model of graph transformation systems. For that purpose we use a categorical three level approach for the construction of models of computations based on structured transition systems. Categorically the algebra of graph derivations can then be characterized as a free double category with finite horizontal colimits. One of the main objectives of this paper is to show how we used algebraic techniques for the development of this formal model, in particular to obtain a clear and well structured theory. Thus it may be seen as a case study in theory design and its support by algebraic development techniques.
منابع مشابه
Double derivations of n-Lie algebras
After introducing double derivations of $n$-Lie algebra $L$ we describe the relationship between the algebra $mathcal D(L)$ of double derivations and the usual derivation Lie algebra $mathcal Der(L)$. In particular, we prove that the inner derivation algebra $ad(L)$ is an ideal of the double derivation algebra $mathcal D(L)$; we also show that if $L$ is a perfect $n$-Lie algebra wit...
متن کاملCharacterization of $delta$-double derivations on rings and algebras
The main purpose of this article is to offer some characterizations of $delta$-double derivations on rings and algebras. To reach this goal, we prove the following theorem:Let $n > 1$ be an integer and let $mathcal{R}$ be an $n!$-torsion free ring with the identity element $1$. Suppose that there exist two additive mappings $d,delta:Rto R$ such that $$d(x^n) =Sigma^n_{j=1} x^{n-j}d(x)x^{j-1}+Si...
متن کاملDouble Derivations, Higher Double Derivations and Automatic Continuity
Let be a Banach algebra. Let be linear mappings on . First we demonstrate a theorem concerning the continuity of double derivations; especially that all of -double derivations are continuous on semi-simple Banach algebras, in certain case. Afterwards we define a new vocabulary called “-higher double derivation” and present a relation between this subject and derivations and finally give some ...
متن کاملLie $^*$-double derivations on Lie $C^*$-algebras
A unital $C^*$ -- algebra $mathcal A,$ endowed withthe Lie product $[x,y]=xy- yx$ on $mathcal A,$ is called a Lie$C^*$ -- algebra. Let $mathcal A$ be a Lie $C^*$ -- algebra and$g,h:mathcal A to mathcal A$ be $Bbb C$ -- linear mappings. A$Bbb C$ -- linear mapping $f:mathcal A to mathcal A$ is calleda Lie $(g,h)$ -- double derivation if$f([a,b])=[f(a),b]+[a,f(b)]+[g(a),h(b)]+[h(a),g(b)]$ for all ...
متن کاملFinite Dimensional Point Derivations for Graph Algebras
This paper focuses on certain finite dimensional point derivations for the non-selfadjoint operator algebras corresponding to directed graphs. We begin by analyzing the derivations corresponding to full matrix representations of the tensor algebra of a directed graph. We determine when such a derivation is inner, and describe situations that give rise to non-inner derivations. We also analyze t...
متن کامل